TestOptions
  { forCompilers   = [(MAlonzo Strict, CompilerOptions {extraAgdaArgs = []})]
  , runtimeOptions = []
  , executeProg    = True
  }
